| 1. | Their program is to try to construct TMF as a moduli space of supersymmetric Euclidean field theories.
|
| 2. | In the Euclidean field theory, these boosts analytically continue to rotations, and the rotations close after 2.
|
| 3. | The real constructible numbers form the least Euclidean field, and the Euclidean fields are precisely the ordered extensions thereof.
|
| 4. | The real constructible numbers form the least Euclidean field, and the Euclidean fields are precisely the ordered extensions thereof.
|
| 5. | A closely related concept is that of a Euclidean field, namely an ordered field whose positive elements are closed under square root.
|